#ifndef __TIMER_H
#define __TIMER_H
#include "gd32f10x.h"
#include <stdio.h>
void timer_config(void);
#endif
